Badger: Complexity Analysis with Fuzzing and Symbolic Execution

Hybrid testing approaches that involve fuzz testing and symbolic execution have shown promising results in achieving high code coverage, uncovering subtle errors and vulnerabilities in a variety of software applications. In this paper we describe Badger - a new hybrid approach for complexity analysis, with the goal of discovering vulnerabilities which occur when the worst-case time or space complexity of an application is significantly higher than the average case. Badger uses fuzz testing to generate a diverse set of inputs that aim to increase not only coverage but also a resource-related cost associated with each path. Since fuzzing may fail to execute deep program paths due to its limited knowledge about the conditions that influence these paths, we complement the analysis with a symbolic execution, which is also customized to search for paths that increase the resource-related cost. Symbolic execution is particularly good at generating inputs that satisfy various program conditions but by itself suffers from path explosion. Therefore, Badger uses fuzzing and symbolic execution in tandem, to leverage their benefits and overcome their weaknesses. We implemented our approach for the analysis of Java programs, based on Kelinci and Symbolic PathFinder. We evaluated Badger on Java applications, showing that our approach is significantly faster in generating worst-case executions compared to fuzzing or symbolic execution on their own

An Optical Sensor Network for Vegetation Phenology Monitoring and Satellite Data Calibration

We present a network of sites across Fennoscandia for optical sampling of vegetation properties relevant for phenology monitoring and satellite data calibration. The network currently consists of five sites, distributed along an N-S gradient through Sweden and Finland. Two sites are located in coniferous forests, one in a deciduous forest, and two on peatland. The instrumentation consists of dual-beam sensors measuring incoming and reflected red, green, NIR, and PAR fluxes at 10-min intervals, year-round. The sensors are mounted on separate masts or in flux towers in order to capture radiation reflected from within the flux footprint of current eddy covariance measurements. Our computations and model simulations demonstrate the validity of using off-nadir sampling, and we show the results from the first year of measurement. NDVI is computed and compared to that of the MODIS instrument on-board Aqua and Terra satellite platforms. PAR fluxes are partitioned into reflected and absorbed components for the ground and canopy. The measurements demonstrate that the instrumentation provides detailed information about the vegetation phenology and variations in reflectance due to snow cover variations and vegetation development. Valuable information about PAR absorption of ground and canopy is obtained that may be linked to vegetation productivity

Sentinel lymph node mapping and intraoperative assessment in a prospective, international, multicentre, observational trial of patients with cervical cancer: The SENTIX trial

Background: SENTIX (ENGOT-CX2/CEEGOG-CX1) is an international, multi centre, prospective observational trial evaluating sentinel lymph node (SLN) biopsy without pelvic lymph node dissection in patients with early-stage cervical cancer. We report the final preplanned analysis of the secondary end-points: SLN mapping and outcomes of intraoperative SLN pathology. Methods: Forty-seven sites (18 countries) with experience of SLN biopsy participated in SENTIX. We preregistered patients with stage IA1/lymphovascular space invasion-positive to IB2 (4 cm or smaller or 2 cm or smaller for fertility-sparing treatment) cervical cancer without suspicious lymph nodes on imaging before surgery. SLN frozen section assessment and pathological ultrastaging were mandatory. Patients were registered postoperatively if SLN were bilaterally detected in the pelvis, and frozen sections were negative. Trial registration: ClinicalTrials.gov (NCT02494063). Results: We analysed data for 395 preregistered patients. Bilateral detection was achieved in 91% (355/395), and it was unaffected by tumour size, tumour stage or body mass index, but it was lower in older patients, in patients who underwent open surgery, and in sites with fewer cases. No SLN were found outside the seven anatomical pelvic regions. Most SLN and positive SLN were localised below the common iliac artery bifurcation. Single positive SLN above the iliac bifurcation were found in 2% of cases. Frozen sections failed to detect 54% of positive lymph nodes (pN1), including 28% of cases with macrometastases and 90% with micrometastases. Interpretation: SLN biopsy can achieve high bilateral SLN detection in patients with tumours of 4 cm or smaller. At experienced centres, all SLN were found in the pelvis, and most were located below the iliac vessel bifurcation. SLN frozen section assessment is an unreliable tool for intraoperative triage because it only detects about half of N1 cases. (C) 2020 The Author(s). Published by Elsevier Ltd

Industry-Scale Orchestrated Federated Learning for Drug Discovery

To apply federated learning to drug discovery we developed a novel platform in the context of European Innovative Medicines Initiative (IMI) project MELLODDY (grant n{\deg}831472), which was comprised of 10 pharmaceutical companies, academic research labs, large industrial companies and startups. The MELLODDY platform was the first industry-scale platform to enable the creation of a global federated model for drug discovery without sharing the confidential data sets of the individual partners. The federated model was trained on the platform by aggregating the gradients of all contributing partners in a cryptographic, secure way following each training iteration. The platform was deployed on an Amazon Web Services (AWS) multi-account architecture running Kubernetes clusters in private subnets. Organisationally, the roles of the different partners were codified as different rights and permissions on the platform and administrated in a decentralized way. The MELLODDY platform generated new scientific discoveries which are described in a companion paper.Comment: 9 pages, 4 figures, to appear in AAAI-23 ([IAAI-23 track] Deployed Highly Innovative Applications of AI

Measurement of the Tau Lepton Polarisation at LEP2

A first measurement of the average polarisation P_tau of tau leptons produced in e+e- annihilation at energies significantly above the Z resonance is presented. The polarisation is determined from the kinematic spectra of tau hadronic decays. The measured value P_tau = -0.164 +/- 0.125 is consistent with the Standard Model prediction for the mean LEP energy of 197 GeV.A first measurement of the average polarisation Pτ of tau leptons produced in e + e − annihilation at energies significantly above the Z resonance is presented. The polarisation is determined from the kinematic spectra of tau hadronic decays. The measured value Pτ=−0.164±0.125 is consistent with the Standard Model prediction for the mean LEP energy of 197 GeV.A first measurement of the average polarisation P_tau of tau leptons produced in e+e- annihilation at energies significantly above the Z resonance is presented. The polarisation is determined from the kinematic spectra of tau hadronic decays. The measured value P_tau = -0.164 +/- 0.125 is consistent with the Standard Model prediction for the mean LEP energy of 197 GeV

Differential cross section measurements for the production of a W boson in association with jets in proton–proton collisions at √s = 7 TeV

Measurements are reported of differential cross sections for the production of a W boson, which decays into a muon and a neutrino, in association with jets, as a function of several variables, including the transverse momenta (pT) and pseudorapidities of the four leading jets, the scalar sum of jet transverse momenta (HT), and the difference in azimuthal angle between the directions of each jet and the muon. The data sample of pp collisions at a centre-of-mass energy of 7 TeV was collected with the CMS detector at the LHC and corresponds to an integrated luminosity of 5.0 fb[superscript −1]. The measured cross sections are compared to predictions from Monte Carlo generators, MadGraph + pythia and sherpa, and to next-to-leading-order calculations from BlackHat + sherpa. The differential cross sections are found to be in agreement with the predictions, apart from the pT distributions of the leading jets at high pT values, the distributions of the HT at high-HT and low jet multiplicity, and the distribution of the difference in azimuthal angle between the leading jet and the muon at low values.United States. Dept. of EnergyNational Science Foundation (U.S.)Alfred P. Sloan Foundatio

Optimasi Portofolio Resiko Menggunakan Model Markowitz MVO Dikaitkan dengan Keterbatasan Manusia dalam Memprediksi Masa Depan dalam Perspektif Al-Qur`an

Risk portfolio on modern finance has become increasingly technical, requiring the use of sophisticated mathematical tools in both research and practice. Since companies cannot insure themselves completely against risk, as human incompetence in predicting the future precisely that written in Al-Quran surah Luqman verse 34, they have to manage it to yield an optimal portfolio. The objective here is to minimize the variance among all portfolios, or alternatively, to maximize expected return among all portfolios that has at least a certain expected return. Furthermore, this study focuses on optimizing risk portfolio so called Markowitz MVO (Mean-Variance Optimization). Some theoretical frameworks for analysis are arithmetic mean, geometric mean, variance, covariance, linear programming, and quadratic programming. Moreover, finding a minimum variance portfolio produces a convex quadratic programming, that is minimizing the objective function ðð¥with constraintsð ð 𥠥 ðandð´ð¥ = ð. The outcome of this research is the solution of optimal risk portofolio in some investments that could be finished smoothly using MATLAB R2007b software together with its graphic analysis

Juxtaposing BTE and ATE – on the role of the European insurance industry in funding civil litigation

One of the ways in which legal services are financed, and indeed shaped, is through private insurance arrangement. Two contrasting types of legal expenses insurance contracts (LEI) seem to dominate in Europe: before the event (BTE) and after the event (ATE) legal expenses insurance. Notwithstanding institutional differences between different legal systems, BTE and ATE insurance arrangements may be instrumental if government policy is geared towards strengthening a market-oriented system of financing access to justice for individuals and business. At the same time, emphasizing the role of a private industry as a keeper of the gates to justice raises issues of accountability and transparency, not readily reconcilable with demands of competition. Moreover, multiple actors (clients, lawyers, courts, insurers) are involved, causing behavioural dynamics which are not easily predicted or influenced. Against this background, this paper looks into BTE and ATE arrangements by analysing the particularities of BTE and ATE arrangements currently available in some European jurisdictions and by painting a picture of their respective markets and legal contexts. This allows for some reflection on the performance of BTE and ATE providers as both financiers and keepers. Two issues emerge from the analysis that are worthy of some further reflection. Firstly, there is the problematic long-term sustainability of some ATE products. Secondly, the challenges faced by policymakers that would like to nudge consumers into voluntarily taking out BTE LEI

Penilaian Kinerja Keuangan Koperasi di Kabupaten Pelalawan

This paper describe development and financial performance of cooperative in District Pelalawan among 2007 - 2008. Studies on primary and secondary cooperative in 12 sub-districts. Method in this stady use performance measuring of productivity, efficiency, growth, liquidity, and solvability of cooperative. Productivity of cooperative in Pelalawan was highly but efficiency still low. Profit and income were highly, even liquidity of cooperative very high, and solvability was good